#ifndef LECTEURPHRASEAVECTABLE_H_
#define LECTEURPHRASEAVECTABLE_H_

#include "LecteurSymbole.h"
#include "TableSymboles.h"
#include <string>
using namespace std;

class LecteurPhraseAvecTable {
public:
	LecteurPhraseAvecTable(string nomFich);	// Construit un lecteur de phrase pour vérifier
	                                        // la syntaxe du programme dans le fichier nomFich

	void analyse();   // Si le contenu du fichier est conforme à la grammaire,
	                  //   cette méthode se termine normalement et affiche un message "Syntaxe correcte".
                          //   la table des symboles (ts) aura été construite
	                  // Sinon, le programme sera interrompu (exit).
	inline TableSymboles getTs ()   { return ts; } // accesseur

private:
    LecteurSymbole ls;  // le lecteur de symboles utilisé pour analyser le fichier
    TableSymboles  ts;  // la table des symboles valués

    // implémentation de la grammaire
    
      // STRUCTURES 
    void affectation();     //   <affectation> ::= <variable> = <expression>
    void expression();	    //   <expression> ::= <terme> { <opAdd> <terme> }
    void facteur();         //   <facteur> ::= <entier> | <variable> | <opUnaire> <expBool> | ( <expBool> )
    void relation();        //   <relation> ::= <expression> { <opRel> <expression> }
    void terme();           //   <terme> ::= <facteur> { <opMult> facteur> }
    void expBool();         //   <expBool> ::= <termeBool> { <opOu> <termeBool> }
    void termeBool();       //   <temrmeBool>::=<relation> {<opEt> <relation>} 
    void programme();       //   <programme> ::= debut <seqInst> fin <EOF>

    // INSTRUCTIONS 
    void seqInst();	    //   <seq_ins> ::= <inst> ; { <inst> ; }
    void inst();	    //   <inst> ::= <affectation> | <instSi> | <instTq> | <instRepeter>
                            //   <inst> ::= <affectation> | <instSi> | <instTq> | <instRepeter> | <instPour>
    void instSi();          //   <instSi> ::= si ( <expBool> ) <seqInst> { sinonsi ( <expBool> ) <seqInst> }[ sinon <seqInst> ] finsi
    void instTq();          //   <instTq> ::= tantque ( <expBool> ) <seqInst> fintantque
    void instRepeter();     //   <instRepeter> ::= repeter <seqInst> jusqua ( <expBool> )
    void instPour();        //    <instPour> : pour (<affectation>;<expBool>; <affectation>) faire { <seqInst> }
    void instLire();        //   <instLire> ::= lire ( <variable> )
    void instEcrire();      //   <instEcrire> ::= ecrire ( <expression> | <chaine> )
    
    // OPERATREURS
    void opBinaire();       //   <opBinaire>  ::= + | - | *  | /
    void opAdd();           //   <opAdd> ::= + | -
    void opMult();          //   <opMult> ::= * | /
    void opRel();           //   <opRel> ::= == | != | < | <= | > | >=
    void opUnaire();        //   <opUnaire> ::= - | non
    void opBool();          //   <opBool> ::= et | ou
    void opEt();            //   <opEt> ::= et
    void opOu();            //   <opOu> ::= ou
    
    // outils pour se simplifier l'analyse syntaxique
    void testerSymCour (string ch);  // si symbole courant != ch, erreur : on arrete le programme, sinon rien
    void sauterSymCour (string ch);  // si symbole courant == ch, on passe au symbole suivant, sinon erreur : on arrete
    void erreur (string mess);      // affiche les message d'erreur mess et arrete le programme
};

#endif /* LECTEURPHRASEAVECTABLE_H_ */
